凯西·理查森。;劳伦特·尤尼斯 再生核希尔伯特空间中图像的变形。 (英语) Zbl 1347.65051号 高级计算。数学。 42,第3期,573-603(2016). 审核人:克孜斯托夫·格达维埃克(索斯诺伊克) MSC公司:65D18天 PDF格式BibTeX公司 XML格式引用 \textit{C.L.Richardson}和\textit{L.Younes},高级计算。数学。42,第3号,573--603(2016;Zbl 1347.65051) 全文: 内政部 arXiv公司
维克托·马格伦;泽维尔·阿拉米吉恩;圣埃芬·高伯特;本杰明·沃纳 非线性优化的形式化证明。 (英语) Zbl 1451.90131号 J.福尔马利兹。原因。 8,第1号,1-24(2015).MSC公司:90C26型 68伏15 90C22型 90立方 PDF格式BibTeX公司 XML格式引用 \textit{V.Magron}等人,J.Formaliz。原因。8,第1号,1--24(2015;Zbl 1451.90131) 全文: 内政部 arXiv公司
泽维尔·阿拉米吉恩;斯特凡·高伯特;维克托·马格伦;本杰明·沃纳 非线性函数界的证明:模板法。 (英语) Zbl 1390.68570号 Carette,Jacques(编辑)等人,《智能计算机数学》。2013年7月8日至12日,MKM、Calculationmus、DML以及系统和项目,作为2013年CICM的一部分,在英国巴斯举行。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-39319-8/pbk)。计算机科学讲座笔记7961。《人工智能课堂讲稿》,51-65(2013)。MSC公司:68吨15 第11页第25页 第14页 65K10码 68瓦30 90C22型 90立方 PDF格式BibTeX公司 XML格式引用 \textit{X.Allamigeon}等人,Lect。注释计算。科学。7961、51-65(2013年;Zbl 1390.68570) 全文: 内政部 arXiv公司
凯西·理查森。;劳伦特·尤尼斯 计算在离散度量之间发生变化。 (英语) Zbl 1319.49069号 《几何杂志》。机械。 131-150(2013)第1期第5页. 审核人:胡安·蒙特德(Burjasot) MSC公司:2010年第49季度 68吨10 65D18天 35平方米 PDF格式BibTeX公司 XML格式引用 \textit{C.L.Richardson}和\textit{L.Younes},J.Geom。机械。5,第1号,131--150(2013;Zbl 1319.49069) 全文: 内政部
圣法尼,阿拉松尼;埃斯特尔·库恩 贝叶斯混合效应模板估计的随机算法。 (英语) Zbl 1320.62045号 ESAIM,Probab公司。统计。 14, 382-408 (2010).MSC公司:2015年1月62日 60J22型 62英尺10英寸 62M40型 PDF格式BibTeX公司 XML格式引用 \textit{S.Allassonnière}和\textit{E.Kuhn},ESAIM,Probab。Stat.14,382--408(2010;Zbl 1320.62045) 全文: 内政部 欧洲DML
马萨诸塞州费利帕。;Oñate,E。 用变分FIC和修正方程方法对一维扩散吸收方程和亥姆霍兹方程进行节点精确Ritz离散。 (英语) Zbl 1168.76336号 计算。机械。 39,第2期,91-111(2007).MSC公司:76M10个 76米25 76兰特 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Felippa}和\textit{E.Oñate},计算。机械。39,第2号,91--111(2007;Zbl 1168.76336) 全文: 内政部
菲利普·霍姆斯;Full,Robert J。;丹·科迪切克;约翰·古根海默 腿部运动的动力学:模型、分析和挑战。 (英语) Zbl 1100.34002号 SIAM版本。 48,第2期,207-304(2006). 审核人:R.Kodnar(布拉迪斯拉发) MSC公司:34-02 34C60个 34立方厘米 34立方厘米25 34C29号 34E10型 92立方厘米 92C20美元 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{P.Holmes}等人,SIAM第48版,第2207-304号(2006年;Zbl 1100.34002) 全文: 内政部
V.P.马什塔利尔。;雅科夫列夫,S.V。 标准信息聚类的点集方法。 (英语。俄文原件) Zbl 1034.68081号 赛博。系统。分析。 37,第3期,295-307(2001); Kibern的翻译。西斯特。分析。2001年,第3期,第3-17期(2001年)。MSC公司:68吨10 PDF格式BibTeX公司 XML格式引用 \textit{V.P.Mashtalir}和\textit{S.V.Yakovlev},Cybern。系统。分析。37,第3号,295--307(2001;Zbl 1034.68081);Kibern的翻译。西斯特。分析。2001年,第3期,第3-17期(2001年) 全文: 内政部
克里斯托夫·普弗劳姆 偏微分方程的表达式模板。 (英语) Zbl 0996.65117号 计算。视觉。科学。 4,第1号,1-8(2001).MSC公司:65N30型 35-04 65日元 35季度30 35J05型 35J65型 PDF格式BibTeX公司 XML格式引用 \textit{C.Pflaum},计算。视觉。科学。4,编号1,1-8(2001;兹bl 0996.65117) 全文: 内政部
理查德·巴雷特;迈克尔·贝里;Tony F.陈。;詹姆斯·德梅尔;6月,多纳托;杰克·东加拉;维克托·埃伊霍特;罗尔丹·波佐;查尔斯·罗明;亨克·范德福斯特 线性系统解决方案的模板:迭代方法的构建块。 (英语) Zbl 0814.65030号 宾夕法尼亚州费城:SIAM,工业和应用数学学会。xiii,112页(1993年)。 审核人:N.Köckler(帕德博恩) MSC公司:65层10 65-02 15-04 65层50 65层35 2005年5月 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{R.Barrett}等人,线性系统解的模板:迭代方法的构建块。宾夕法尼亚州费城:SIAM(1993;Zbl 0814.65030)